Interpreting process data of wet pressing process. Part 2: Verification with real values

Part 2 AMERICAN CLEARANCE PROCESS

Process Model Verification with SemQuu

In this contribution, we present an overview of our ongoing work in developing an integrated tool support for semantic process model verification. We present some of the requirements and insights gained by the implementation of a platform for semantic process model verification. The platform is based on OWL and SPARQL and provides for a user-friendly way of semantic model verification. First em...

Real-time Prediction and Synchronization of Business Process Instances using Data and Control Perspective

Nowadays, in a competitive and dynamic environment of businesses, organizations need to moni-tor, analyze and improve business processes with the use of Business Process Management Systems(BPMSs). Management, prediction and time control of events in BPMS is one of the major chal-lenges of this area of research that has attracted lots of researchers. In this paper, we present a...

Semantics and verification in process algebras with data and timing

ing from the data in a specification is in many situations undesirable. As mentioned in the prelude to this chapter, the process languages pCRL, pCRLt and μCRLt are designed to support the specification of data-dependent systems. The data, and the datatypes, used in e.g. μCRLt-specifications are specified using the theoretically sound and flexible (yet impractical) framework of (equational) abs...

Size effect in equal channel angular pressing (ECAP) process

The influence of the sample size (diameter while keeping the length constant) in equal channel angular pressing (ECAP) of pure aluminum is examined using finite element method (FEM) and experiment. Different sized aluminum rods were processed via ECAP and the effect of sample size on the strain homogeneity, process load, and the ratio of the friction to the total force were evaluated. The resul...